Compactification of *-autonomous categories

Lattice of compactifications of a topological group

We show that the lattice of compactifications of a topological group $G$ is a complete lattice which is isomorphic to the lattice of all closed normal subgroups of the Bohr compactification $bG$ of $G$. The correspondence defines a contravariant functor from the category of topological groups to the category of complete lattices. Some properties of the compactification lattice of a topological ...

On partial traces and compactification of *-autonomous Mix-categories

We study the question when a ∗-autonomous Mix-category has a representation as a ∗-autonomous Mix-subcategory of a compact one. We define certain partial trace-like operation on morphisms of a Mix-category, which we call a mixed trace, and show that any structure preserving embedding of a Mix-category into a compact one induces a mixed trace on the former. We also show that, conversely, if a Mi...

Filters and the Weakly Almost Periodic Compactification of a Semitopological Semigroup

Let $S$ be a semitopological semigroup. The $wap-$ compactification of semigroup S, is a compact semitopological semigroup with certain universal properties relative to the original semigroup, and the $Lmc-$ compactification of semigroup $S$ is a universal semigroup compactification of $S$, which are denoted by $S^{wap}$ and $S^{Lmc}$ respectively. In this paper, an internal construction of ...

The universal $mathcal{AIR}$- compactification of a semigroup

In this paper we establish a characterization of abelian compact Hausdorff semigroups with unique idempotent and ideal retraction property. We also introduce a function algebra on a semitopological semigroup whose associated semigroup compactification is universal withrespect to these properties.

Compactification of κ-Frames